Package-level declarations

Types

Link copied to clipboard
class AbstractionPass constructor(abstractor: PropositionAbstractor, abstractionThreshold: Int = 5, abstractionTargetCount: Int = 3, maxLevel: Int = 3) : ConsolidationPass

Consolidation pass that synthesizes higher-level propositions from groups of related ground-level propositions by delegating to an injected PropositionAbstractor.

Link copied to clipboard

One composable step in a consolidation cycle. A pass receives the current snapshot of propositions for a context, decides what should change, and reports it back as a ConsolidationPassResult — it never writes anything itself.

Link copied to clipboard

What a ConsolidationPass decided to do (or not do). Sealed so the orchestrator can exhaustively handle every case without a catch-all.

Link copied to clipboard
class ContradictionResolutionPass constructor(reviser: PropositionReviser, eventListener: DiceEventListener = DiceEventListener.DEV_NULL) : ConsolidationPass

Consolidation pass that resolves contradictions among ACTIVE propositions by delegating classification to an injected PropositionReviser and retiring the losing side of each conflict.

Link copied to clipboard
class DecaySweepPass constructor(collectorRunner: CollectorRunner, staleThresholdH: Double = 0.1, recoveryThresholdS: Double = 0.25) : ConsolidationPass

The decay pass in a consolidation cycle: a thin wrapper that delegates entirely to an injected CollectorRunner and translates its outcome into a ConsolidationPassResult.

Link copied to clipboard
class SessionConsolidationPass constructor(consolidator: MemoryConsolidator, sessionPropositions: List<Proposition> = emptyList()) : ConsolidationPass

Consolidation pass that folds a session's propositions into long-term memory by delegating verbatim to an injected MemoryConsolidator.